right adjoint

右伴随